Robust Approach for Supporting Inter-Application Communication and Device Handling in Integrated Modular Avionics
نویسندگان
چکیده
Integration of multiple real-time control modules has gained increased acceptance as a new trend in the industry during the past few years. For example, the avionics industry is embracing a new design approach referred to as Integrated Modular Avionics (IMA) that encourages resource sharing to minimize development and maintenance costs of avionics. However, the IMA approach also brings new challenges that do not exist in a federated implementation of avionics. Avoiding unwanted dependencies among applications and managing the reuse of legacy applications tops the list of challenges. This paper describes techniques for interapplication communication and handling of I/O devices that enable the integration of multiple applications while maintaining strong spatial and temporal partitioning between application software modules. The presented approach is lock-free requiring the least support from the operating system and minimizes the dependency of the integrated environment on application characteristics.
منابع مشابه
Scheduling Tool and Algorithm for Integrated Modular Avionics Systems
As computer and software technologies have advanced, the approach of Integrated Modular Avionics (IMA) has emerged in the field of avionics systems. The IMA approach can dramatically reduce production and maintenance costs and increase reliability of these safety-critical real time systems. The IMA hardware and foundation software must be able to provide guarantees to the application software s...
متن کاملDesign and Implementation of a Low Cost, Hierarchical and Modular Avionics Architecture for the DragonFly UAVs∗
We present the design and implementation of the safety critical avionics for the Stanford Dragonfly Unmanned Aerial Vehicles (UAVs). The software architecture of the avionics is based on the Client-Server architecture of QNX Neutrino, the real-time operating system used. Our architecture is hierarchical and modular: it isolates user-defined applications from underlying low-level system services...
متن کاملAn Approach for Supporting Temporal Partitioning and Software Reuse in Integrated Modular Avionics
The Integrated Modular Avionics (IMA) approach can achieve lower overall hardware costs and reduced level of spares by getting multiple applications that have traditionally been implemented using separate, federated units to share hardware resources. However, the IMA approach also brings new challenges that did not exist in the federated setup. Avoiding unwanted dependencies among applications ...
متن کاملA Robust Model for a Dynamic Cellular Manufacturing System with Production Planning
In this paper, a robust optimization approach is proposed to design a dynamic cellular manufacturing system (DCMS) under uncertainty of processing time of products. In addition, a mathematical model considering cell formation, inter-cell design and production planning under a dynamic environment (i.e., product mix and demand are changed in each period) is presented. Therefore, reconfiguration b...
متن کاملSoftware Model Checking of ARINC-653 Flight Code with MCP
The ARINC-653 standard defines a common interface for Integrated Modular Avionics (IMA) code. In particular, ARINC-653 Part 1 specifies a processand partition-management API that is analogous to POSIX threads, but with certain extensions and restrictions intended to support the implementation of high reliability flight code. MCP is a software model checker, developed at NASAAmes, that provides ...
متن کامل